Precise Software - PDFSEARCH.IO - Document Search Engine

Precise Software
Results: 89

#	Item
61	Fast and Precise Hybrid Type Inference for JavaScript Brian Hackett Shu-yu Guo ∗ Mozilla Add to Reading List Source URL: rfrn.org Language: English - Date: 2012-04-04 17:52:15 Data types Type theory Cross-platform software Compiler construction Java programming language Type system JavaScript C Polymorphism Software engineering Computing Programming language theory
62	Gareth Price: Which Olympic Sponsors Are Going for Gold? Add to Reading List Source URL: www.precise.co.uk Language: English - Date: 2012-08-31 07:33:05 Advertising Software Communication design Graphic design Web 2.0 Sponsor Julian Assange Samsung Summer Olympics Android devices Marketing Business
63	James Withey: Marketing to Older and Younger Youth Add to Reading List Source URL: www.precise.co.uk Language: English - Date: 2012-10-25 07:48:43 Social media Youth marketing Mass media Facebook Social networking service World Wide Web Software Social information processing
64	Press Release – for immediate release New Claro 8 advances commercial and high volume image correction and optimization • Now offers more precise management of natural blues, greens and skin-tones Add to Reading List Source URL: www.fourpees.com Language: English - Date: 2013-01-23 09:35:54 Claro Americas Visual arts Workflow Adobe InDesign Image editing Infrastructure optimization Claro Software Graphic design Computing
65	PRESS RELEASE FOR IMMEDIATE RELEASE 20 JANUARY[removed]PRECISE DELIVERS NEXT-GENERATION MEDIA INTELLIGENCE WITH AUTONOMY Add to Reading List Source URL: www.precise.co.uk Language: English - Date: 2012-08-23 06:53:41 Application software Geographic information system Technology Computing Information technology Autonomy Corporation Information technology management Infrastructure optimization
66	What Does it Mean to Have an Architecture?∗ Brian Logan Abstract In this paper, I propose an approach to architectures which makes precise exactly what it means for an agent to ‘have’ an architecture, and allows us Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-01-03 09:22:12 Science Philosophical logic Metalogic 2APL Action selection Cognitive architecture Software agent 3APL Agent-based model Multi-agent systems Logic Artificial intelligence
67	AutonomyLogo notag [Converted] Add to Reading List Source URL: www.precise.co.uk Language: English - Date: 2012-08-23 06:53:43 Computing Autonomy Corporation Email Cision New media Application software Public relations Technology Marketing Business
68	FlowFox: a Web Browser with Flexible and Precise Information Flow Control Willem De Groef, Dominique Devriese, Nick Nikiforakis and Frank Piessens IBBT–DistriNet, KU Leuven Celestijnenlaan 200a, 3001 Heverlee, Belgium Add to Reading List Source URL: www.securitee.org Language: English - Date: 2013-01-01 13:05:56 HTTP Portable software HTML Ajax JavaScript Cross-site scripting SpiderMonkey Google Chrome Firefox Software Computing Cross-platform software
69	Synthesizing Safe Bit-Precise Invariants? Arie Gurfinkel, Anton Belov and Joao Marques-Silva Abstract. Bit-precise software verification is an important and difficult problem. While there has been an amazing progress in Add to Reading List Source URL: anton.belov-mcdowell.com Language: English - Date: 2014-01-27 10:25:19 Propositional calculus Boolean algebra Electronic design automation Logic in computer science NP-complete problems Boolean satisfiability problem Satisfiability Modulo Theories Well-formed formula Unsatisfiable core Logic Theoretical computer science Mathematical logic
70	FrankenBit: Bit-Precise Verification with Many Bits (Competition Contribution)? Arie Gurfinkel1 and Anton Belov2 1 Carnegie Mellon Software Engineering Institute Add to Reading List Source URL: anton.belov-mcdowell.com Language: English - Date: 2014-01-27 10:25:19 Constraint programming Electronic design automation Logic in computer science Satisfiability Modulo Theories LLVM Z3 Invariant Model checking Theoretical computer science Computing Software engineering

UPDATE